RV4JaCa – Runtime Verification for Multi-Agent Systems

This paper presents a Runtime Verification (RV) approach for Multi-Agent Systems (MAS) using the JaCaMo framework. Our objective is to bring layer of security MAS. capable controlling events during execution system without needing specific implementation in behaviour each agent recognise events. MAS have been used context hybrid intelligence. use requires communication between software agents and human beings. In some cases, takes place via natural language dialogues. However, this kind brings us concern related flow dialogue so that can prevent any change topic discussion could impair their reasoning. We demonstrate monitor aims control communicates with user through aid decision-making hospital bed allocation.